1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
/*!
Contexts for creating, normalizing, and type-checking `isotope` terms
*/
use crate::*;
use hashers::null::PassThroughHasher;
use indexmap::IndexMap;

pub mod cons;
pub mod eq;
pub mod eval;
pub mod subst;
pub mod ty;

/// A standard typing context
pub type StandardCtx = MapTyCtx<DisjointSetCtx>;